Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
761	Third Workshop on Script to Program Evolution STOP 2012 This year marks the third edition of the STOP workshop series, and a colocation with ECOOP and PLDI in Beijing, China. For this year’s STOP, the goal was to take Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-06-10 11:12:02 Type theory Data types Object-oriented programming Cross-platform software Functional programming Type system JavaScript Duck typing C Software engineering Computing Computer programming
762	Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-06-24 05:23:23 Functional programming Data types Type theory Higher-order functions Adjoint functors Monad Pattern matching Type system List Software engineering Declarative programming Computing
763	JPIs TO CO WORK A FUNCTIONAL APPROACH TO JOINT PROGRAMMING INITIATIVES. This document is intended to prepare the field for the implementation of Framework Conditions by Joint Programming Initiatives from a functional Add to Reading List Source URL: www.jpis2cowork.eu Language: English - Date: 2012-10-01 07:40:30 Framework Programmes for Research and Technological Development Governance Political science Environmental governance European Science Foundation Europe European Union Interreg
764	Balancing lists: a proof pearl? Guyslain Naves1 and Arnaud Spiwack2 1 Aix Marseille Université, CNRS, LIF UMR 7279, 13288, Marseille, France Add to Reading List Source URL: assert-false.net Language: English - Date: 2014-06-13 08:06:32 Recursion Higher-order functions Functional languages Mathematical logic Computability theory Binary tree Map Tree Binary search tree Computer programming Computing Software engineering
765	JazzScheme: Evolution of a Lisp-Based Development System Guillaume Cartier Louis-Julien Guillemette SFP 2010 Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:57 Lisp programming language Functional languages Lisp Franz Lisp MLisp Computing Computer programming Software engineering
766	Lisp in Summer Projects Submission Submission Date:57:57 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Functional languages Lisp programming language Clojure Lisp Read–eval–print loop Object-oriented programming JavaScript Computing Software engineering Computer programming
767	Lisp in Summer Projects Submission Submission Date:13:06 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Functional languages Lisp Software development Eval Algorithm Software development methodology Data mining Genera Computing Software Lisp programming language
768	Combining Deep and Shallow Embedding for EDSL Josef Svenningsson and Emil Axelsson Chalmers University of Technology {josefs,emax}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-11-28 10:50:59 Data types Functional programming Type theory Higher-order functions Control flow Fold Map Generalized algebraic data type Eval Software engineering Computing Computer programming
769	Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´ Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:25:45 Type theory Procedural programming languages Functional languages Data types Type systems Type inference ALGOL 68 OCaml Hindley–Milner Software engineering Programming language theory Computing
770	A Guide to Data Centri c Func ti ons CompositeComposite A/S Nygårdsvej 16 DK-2100 Copenhagen Add to Reading List Source URL: docs.composite.net Language: English - Date: 2011-03-16 09:04:39 Scripting languages Filter theory XSLT Null Filter AS/400 Control Language XML Data-centric programming language EMML Computing Markup languages Functional languages

UPDATE